xen/arm: p2m: Pass the vCPU in parameter to get_page_from_gva
authorJulien Grall <julien.grall@arm.com>
Wed, 20 Jul 2016 16:10:44 +0000 (17:10 +0100)
committerStefano Stabellini <sstabellini@kernel.org>
Fri, 22 Jul 2016 01:26:58 +0000 (18:26 -0700)
commit7b3d480221e0ff4814675388fe375f21ba87bc26
treeb5b4c505bc41eb713251a5723b76a8b5d5c8ecea
parentc3cfccdd007a81bc6cfc31851111523880089cbd
xen/arm: p2m: Pass the vCPU in parameter to get_page_from_gva

The function get_page_from_gva translates a guest virtual address to a
machine address. The translation involves the register VTTBR_EL2,
TTBR0_EL1, TTBR1_EL1 and SCTLR_EL1. Whilst the first register is per
domain (the p2m is common to every vCPUs), the last 3 are per-vCPU.

Therefore, the function should take the vCPU in parameter and not the
domain. Fixing the actual code path will be done a separate patch.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/guestcopy.c
xen/arch/arm/p2m.c
xen/arch/arm/traps.c
xen/include/asm-arm/mm.h